@book{alma994848153502466,
author = {Power, A. J.},
address = {Edinburgh},
booktitle = {Why tricategories?},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-289},
title = {Why tricategories? / by A.J. Power.},
year = {1994},
}

@book{alma994848263502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {A very simple algorithm for estimating the number of k-colourings of a low-degree graph},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-290},
title = {A very simple algorithm for estimating the number of k-colourings of a low-degree graph / by Mark Jerrum.},
year = {1994},
}

@book{alma994848173502466,
author = {Burns, Glenn.},
address = {Edinburgh},
booktitle = {Applying process refinement to a safety-relevant system},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-287},
title = {Applying process refinement to a safety-relevant system / by Glenn Burns.},
year = {1994},
}

@book{alma994848243502466,
author = {Sangiorgi, Davide.},
address = {Edinburgh},
booktitle = {Locality and non-interleaving semantics in calculi for mobile processes},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-282},
title = {Locality and non-interleaving semantics in calculi for mobile processes / by Davide Sangiorgi.},
year = {1994},
}

@book{alma994848213502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {First-class polymorphisms for ML},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-284},
title = {First-class polymorphisms for ML / by Stefan Kahrs.},
year = {1994},
}

@book{alma994848403502466,
author = {Compagnoni, Adriana B.},
address = {Edinburgh},
booktitle = {Subtyping in [F-omega-meet] is decidable},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-281},
title = {Subtyping in [F-omega-meet] is decidable / by Adriana B. Compagnoni.},
year = {1994},
}

@book{alma994129303502466,
author = {Da Silva, Fabio.},
address = {Edinburgh},
booktitle = {Towards a formal framework for evaluation of operational semantics specifications},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-126},
title = {Towards a formal framework for evaluation of operational semantics specifications / by Fabio da Silva.},
year = {1990},
}

@book{alma994742153502466,
author = {Esparza, Javier.},
address = {Edinburgh},
booktitle = {On the decidability of model checking for several [mu]-calculi and Petri nets},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-274},
title = {On the decidability of model checking for several [mu]-calculi and Petri nets / by Javier Esparza.},
year = {1993},
}

@book{alma994742143502466,
author = {Duggan, Angus.},
address = {Edinburgh},
booktitle = {Literate programming : a review},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-263},
title = {Literate programming : a review / by Angus Duggan.},
year = {1993},
}

@book{alma994742163502466,
author = {Gardner, Philippa.},
address = {Edinburgh},
booktitle = {Equivalences between logics and their representing type theories},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-251},
title = {Equivalences between logics and their representing type theories / by Philippa Gardner.},
year = {1993},
}

@book{alma994335773502466,
author = {Power, A. J.},
address = {Edinburgh},
booktitle = {An n-categorical pasting theorem},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-190},
title = {An n-categorical pasting theorem / by A.J. Power.},
year = {1991},
}

@book{alma994335783502466,
author = {Sangiorgi, Davide.},
address = {Edinburgh},
booktitle = {The lazy lambda calculus in a concurrency scenario},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-189},
title = {The lazy lambda calculus in a concurrency scenario / by Davide Sangiorgi.},
year = {1991},
}

@book{alma994034543502466,
author = {Farrés-Casals, Jordi.},
address = {Edinburgh},
booktitle = {Proving correctness w.r.t. specifications with hidden parts},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-117},
title = {Proving correctness w.r.t. specifications with hidden parts / by Jordi Farrés-Casals.},
year = {1990},
}

@book{alma994491933502466,
author = {Burns, Glenn.},
address = {Edinburgh},
booktitle = {A case study in safety-critical design},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-239},
title = {A case study in safety-critical design / by Glenn Burns.},
year = {1992},
}

@book{alma994492033502466,
author = {Pym, David J.},
address = {Edinburgh},
booktitle = {A unification algorithm for the [lambda pi]-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-229},
title = {A unification algorithm for the [lambda pi]-calculus / by David J. Pym.},
year = {1992},
}

@book{alma994492523502466,
author = {Altenkirch, Thorsten.},
address = {Edinburgh},
booktitle = {Brewing strong normalization proofs with LEGO},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-230},
title = {Brewing strong normalization proofs with LEGO / by Thorsten Altenkirch.},
year = {1992},
}

@book{alma994491993502466,
author = {Rothwell, Nicholas John.},
address = {Edinburgh},
booktitle = {Functional compilation from the standard ML core language to lambda calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-235},
title = {Functional compilation from the standard ML core language to lambda calculus / by Nick Rothwell.},
year = {1992},
}

@book{alma994491943502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {Polymorphic type checking by interpretation of code},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-238},
title = {Polymorphic type checking by interpretation of code / by Stefan Kahrs.},
year = {1992},
}

@book{alma993903303502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {Extending properties to categories of partial maps},
keywords = {Categories (Mathematics)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-107},
title = {Extending properties to categories of partial maps / by C. Barry Jay.},
year = {1990},
}

@book{alma993903293502466,
author = {Morley, Matthew J.},
address = {Edinburgh},
booktitle = {Tactics for state space reduction on the concurrency workbench},
keywords = {Parallel processing (Electronic computers)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-109},
title = {Tactics for state space reduction on the concurrency workbench / by Matthew J. Morley.},
year = {1990},
}

@book{alma993903323502466,
author = {Tofts, Chris (Christopher Maurice Neville)},
address = {Edinburgh},
booktitle = {Relative frequency in a synchronous calculus},
keywords = {Sequential processing (Computer science)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-108},
title = {Relative frequency in a synchronous calculus / by Chris Tofts.},
year = {1990},
}

@book{alma994492533502466,
author = {Hofmann, Martin.},
address = {Edinburgh},
booktitle = {Formal development of functional programs in type theory : a case study},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-228},
title = {Formal development of functional programs in type theory : a case study / by Martin Hofmann.},
year = {1992},
}

@book{alma994491973502466,
author = {Rothwell, Nicholas John.},
address = {Edinburgh},
booktitle = {Parsing in the SML kit},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-236},
title = {Parsing in the SML kit / by Nick Rothwell.},
year = {1992},
}

@book{alma994491963502466,
author = {Rothwell, Nicholas John.},
address = {Edinburgh},
booktitle = {Miscellaneous design issues in the ML kit},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-237},
title = {Miscellaneous design issues in the ML kit / by Nick Rothwell.},
year = {1992},
}

@book{alma994098043502466,
author = {Dam, Mads.},
address = {Edinburgh},
booktitle = {Translating CTL* into the modal mu-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-123},
title = {Translating CTL* into the modal mu-calculus / by Mads Dam.},
year = {1990},
}

@book{alma994410493502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {Tail recursion through universal invariants},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-205},
title = {Tail recursion through universal invariants / by C. Barry Jay.},
year = {1992},
}

@book{alma994129293502466,
author = {Tofts, Chris (Christopher Maurice Neville)},
address = {Edinburgh},
booktitle = {The autosynchronisation of Leptothorax Acervorum (Fabricius) described in WSCCS},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-128},
title = {The autosynchronisation of Leptothorax Acervorum (Fabricius) described in WSCCS / by Chris Tofts.},
year = {1990},
}

@book{alma995955403502466,
author = {Steckler, Paul.},
address = {Edinburgh},
booktitle = {Detecting local channels in distributed Poly/ML},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 96-340},
title = {Detecting local channels in distributed Poly/ML / by Paul Steckler.},
year = {1996},
}

@book{alma995955503502466,
author = {Barber, Andrew Graham.},
address = {Edinburgh},
booktitle = {Dual intuitionistic linear logic},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 96-347},
title = {Dual intuitionistic linear logic / Andrew Barber.},
year = {1996},
}

@book{alma995955493502466,
author = {Russo, Claudio V.},
address = {Edinburgh},
booktitle = {Standard ML type generativity as existential quantification},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 96-344},
title = {Standard ML type generativity as existential quantification / by Claudio V. Russo.},
year = {1996},
}

@book{alma995955563502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {Decidability of bisimulation equivalence for normed pushdown processes},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 97-352},
title = {Decidability of bisimulation equivalence for normed pushdown processes / by Colin Stirling.},
year = {1997},
}

@book{alma9911203593502466,
author = {Berry, Dave.},
address = {Edinburgh},
booktitle = {The Edinburgh SML Library},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-148},
title = {The Edinburgh SML Library / by Dave Berry.},
year = {1991},
}

@book{alma994192923502466,
author = {Tofts, Chris (Christopher Maurice Neville)},
address = {Edinburgh},
booktitle = {Task allocation in monomorphic ant species},
keywords = {Ants -- Behavior -- Mathematical models},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-144},
title = {Task allocation in monomorphic ant species / by Chris Tofts.},
year = {1991},
}

@book{alma994310033502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {Fixpoint and loop constructions as colimits},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-182},
title = {Fixpoint and loop constructions as colimits / by C. Barry Jay.},
year = {1991},
}

@book{alma994310003502466,
author = {Chen, Liang.},
address = {Edinburgh},
booktitle = {Decidability and completeness in real-time processes},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-185},
title = {Decidability and completeness in real-time processes / by Liang Chen.},
year = {1991},
}

@book{alma994310023502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {Coherence in category theory and the Church-Rosser property},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-181},
title = {Coherence in category theory and the Church-Rosser property / by C. Barry Jay.},
year = {1991},
}

@book{alma994310013502466,
author = {Chen, Liang.},
address = {Edinburgh},
booktitle = {An interleaving model for real-time systems},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-184},
title = {An interleaving model for real-time systems / by Liang Chen.},
year = {1991},
}

@book{alma994309983502466,
author = {Hüttel, Hans.},
address = {Edinburgh},
booktitle = {Silence is golden : branching bisimilarity is decidable for context-free processes},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-173},
title = {Silence is golden : branching bisimilarity is decidable for context-free processes / by Hans Hüttel.},
year = {1991},
}

@book{alma994309993502466,
author = {Morley, M. J.},
address = {Edinburgh},
booktitle = {Modelling British Rail's interlocking logic : geographic data correctness},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-186},
title = {Modelling British Rail's interlocking logic : geographic data correctness / by M.J. Morley.},
year = {1991},
}

@book{alma994309953502466,
author = {Kazmierczak, Edmund.},
address = {Edinburgh},
booktitle = {Modularizing the specification of a small database system in Extended ML},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-91-177},
title = {Modularizing the specification of a small database system in Extended ML / by Edmund Kazmierczak.},
year = {1991},
}

@book{alma994310063502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {Long [Beta Eta] normal forms and confluence},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-183},
title = {Long [Beta Eta] normal forms and confluence / by C. Barry Jay.},
year = {1991},
}

@book{alma995327543502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {Towards a domain theory for termination proofs},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-314},
title = {Towards a domain theory for termination proofs / by Stefan Kahrs.},
year = {1995},
}

@book{alma995327333502466,
author = {Underwood, Judith.},
address = {Edinburgh},
booktitle = {Tableau for intuitionistic predicate logic as metatheory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-321},
title = {Tableau for intuitionistic predicate logic as metatheory / by Judith Underwood.},
year = {1995},
}

@book{alma995327433502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Computational Pólya theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-317},
title = {Computational Pólya theory / by Mark Jerrum.},
year = {1995},
}

@book{alma995327363502466,
author = {Underwood, Judith.},
address = {Edinburgh},
booktitle = {Typing abstract data types},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-320},
title = {Typing abstract data types / by Judith Underwood.},
year = {1995},
}

@book{alma995327463502466,
author = {Kaivola, Roope.},
address = {Edinburgh},
booktitle = {Axiomatising linear time mu-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-324},
title = {Axiomatising linear time mu-calculus / by Roope Kaivola.},
year = {1995},
}

@book{alma995327493502466,
author = {Steckler, Paul.},
address = {Edinburgh},
booktitle = {Correct separate and selective closure conversion},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-315},
title = {Correct separate and selective closure conversion / by Paul Steckler.},
year = {1995},
}

@book{alma995327383502466,
author = {Fourman, Michael P.},
address = {Edinburgh},
booktitle = {Proof and design},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-319},
title = {Proof and design / by Michael P. Fourman.},
year = {1995},
}

@book{alma994098313502466,
author = {Walker, David.},
address = {Edinburgh},
booktitle = {[Pi]-calculus semantics of object-oriented programming languages},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-122},
title = {[Pi]-calculus semantics of object-oriented programming languages / by David Wlaker.},
year = {1990},
}

@book{alma994359223502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {Modelling reduction in confluent categories},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-187},
title = {Modelling reduction in confluent categories / by C. Barry Jay.},
year = {1991},
}